perm filename EUFB10.360[360,GF] blob sn#861830 filedate 1988-10-04 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&αp_
π#λ~M&↑x∞_mv 4[Lw_1ZVh2H
F(,λ∞F(<≥∧π_:XN6(:;aF07[NF00XlV⊂<]←_:@"αA0ε↓ _)↓j⊂H'C	`_↓α)P_αB	P⊂βAi@_∧↓I@⊂¬↓I0_¬A)0_¬A)  ε↓	  ε↓	  ε↓	  ε↓	 (¬@i (¬@i 0¬I 0∧@i00∧I0@αi@h&Bi`@'AHT _E"q8@AD`ε∪a∃⊂β∀`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT@e⊂β∩BTP
Q(C⊂εαq8∧↓)pP&C	@_α↓i@λβAJP(*A*P *A
P_*↓
@_)@j0⊂)J⊂⊂(Ip⊂'Apλ&DiA %E)!(%¬(T →E"bλB eλ¬∪aTp↓A dpBe@αVU@αVE@α∃`E8↓U E_α∪a∀xε∃↓¬8β⊗e@βV eHβ⊗ eHβ⊗ eHβ⊗ U@β⊗U8β∩@0Hβ∩`@(β∪!DxβQ(C F∧!@λ@+ +A*`0+↓JP8*α
@@)@`⊂()@@ ()@0((@`0((@@@((`@('@`P('@@`('``(&@`p(&@A(&a(&A⊂(%@a⊂(%¬i!0%¬Jp(+A*p(+A*p(+A*p(+AJp +@(T ~E"bλ@b$hλS"∀hλS"∀h↓S 4h↓S 4h↓S 4h↓S 0⊂βS!dh↓A@dh↓αe@β⊗eHβ⊗ eHβ⊗ eHβ⊗ eHβ⊗ U@β⊗e8β∃@dP↓α tPα↓ t`εS`t("
BQ8⊃HAp0+B
PP)AP_)j⊂_(ip_'↓	`_&A	P_&↓	@ %A)0 %AP0%A0P%↓ ⊂h%αP8%↓!⊂0%↓! (%↓!0(%↓!0(%↓!@ %↓A0 %↓A0 %↓A0 %A!0_%AA⊂ &↓!⊂_&↓@p_&A`@_'β	pP(↓HT ≠EC∩λ@"TX
RBTP
∩BDP	V@5H↓V %@↓U`58↓U@50↓∃ 5 ↓U5_↓T@E⊂↓T Eλ↓TDxα∪`Dpα∪@Dhα∪T`α∩`TPαR@TPαQ(C@
Ed"⊂¬↓* H(`08'@`P0'`p0&A↓(&A↓(&↓!(&↓@p(&↓@p &↓`` &A`@ &B  'β	pP(α
⊂H)α*`'↓ H&AP@&↓p8%A↓⊂8%A↓ 0%↓! 0%↓!0(%↓!0(%↓!0(%↓A  %↓A  %AA %A@p &↓`@ &C	p@"Qπ⊃0H"pHαT!%ε∪@@_∧∪ 08βS@@β∩`@Pβ∩`@Pβ∩`@Pβ∩@PXβ∩@PXβ∩@PXβ∩@PXβ∩@`Pβ∩@`Pβ∩@pHβ∩`p@β∩a0βSαDh¬@@Tp∧↓Uα↓ eHβ⊗ U@β⊗U8β∃@e0αUe_β∀th∧∪ T("_"Q@EA αJX'C	Pp%A 0@%Ap(%Ap(%Ap(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p0%↓@`0%↓`0H@) @@@⊂H%B  @&↓`@(&↓ p_&@a⊂λ"Q!⊂
HD⊂@↓∩`⊂ ↓∩`⊂_↓R`⊂λα∩`TXαR`TXαR`TXαR`DXα↓@4Xα@`tXα@A$XλR`p⊂∧∩`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR``(αR`p αRA ⊂↓RaT`¬∪ tx↓Q(F_π∧"q0βA*@'αIPP%A0(%↓ P⊂%↓) (%↓) (%↓) (%↓) (%↓) (%↓I 8%α 0⊂%C	@H&Ai` '@HT 2¬"Qx∂↓ Th∧RaTP↓↓↓%⊂∧U↓∃(∧Ua¬ @`u_A eλ↓↓`U↓A`Tx↓BTpααThαBThαBThαBThαBThαBThαBThαBThαBDhαBDhαBDhβ↓@ThβA Dh∧@`4pεSa5∧∀ e_↓Q(F(πDBq0β@ip0'α	@X%A⊂@%↓ 00%↓P %↓`⊂%↓P⊂%↓0_%↓ ⊂%↓i 0%↓)  %↓	 (%↓I @αi0@@i@P&Ai`('@hT 3β!r`⊂A`∃↓@`∀x∧∪A∧h∧∪ ⊂⊂α∪4`↓S4`α∪D`αS DhαRaDPε∪ ThαS ThαS ThαS ThαS ThαS ThαS ThαS Dhα∪ Dhα∪ Dhα∪ 4h↓S 4h↓∪ $`↓∪$`R`∀("→ba8⊂Ea0λ*``⊂)α⊂ (βIpx&A  P&A P8&A p(&↓!(&↓!(&↓!(&↓!(&↓!(&↓!(&↓!(&↓!(&↓@p(&↓@p(&↓``(&α0@&α ⊂⊂AIPP↓↓I`@↓AIp(β↓)p βAIp_∧↓)`_∧A	P(∧↓	@@βi0XαI!λ'β	pP)↓HT 4∧BRX⊂B$XA$X@`4X@@4Xβ∩`TXαR`TXαR`TXαR`P(↓R`P β∩`P⊂¬∩`Pλ¬R`pλ∧R`P(βR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR@p0αR@p0αRA(αR`p(αS@8α∪0@α∪ ⊂Hα∃`E0α∃@E0↓U@%(↓∃%_↓∀@$("~!Ph⊃λ `λ'@i`(&Ai`('@jλ#@`Pλ'↓	P0&↓i0@%  0'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓I`0↓)`@'↓ip((j⊂"Q
 X¬
d⊂8T4xαS@txαT5λQ`@(α∪@th∧∪↓∀X↓@eαTUαTUαTUαTUαTUαTUαTUαTUαTEα∀E↓S`4x↓∪@$h↓∪$X↓∩@$("~b⊃⊂⊃λ! ⊂&@ @_&@ 0_&@  _&AIP(α@IP(αiP(↓↓IP(B	P8↓↓)P0↓A)P0α↓	P(α@iP(α@IP(αIP(α)P(↓@)0x%βiP(&A)P(&A)P(&A)P(&A)P(&AiP@αIP`'αIp8(↓*⊂⊂"Q
@HεHD⊂8↓∩@⊂(R@⊂_↓R@⊂⊂↓R@dPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPβ $P∧∩@tPβ∩`4`Q(Fh∩IBq0↓@`p_∧@i@(αA@`8%A`0H↓αi @↓α@⊂X&α ⊂P↓α	P(β↓@`0&A p(βA)P(βA p(&A p(βA)P(βA p(&A p(βA)P(βA p(&A p(βA)P(βA p(&A p(βA)P(βA p(&A p(βA)P0β↓@`0&A@`0β↓@ ⊂&A`P8αB)P@α↓`P@'↓ `0βA)` ∧a⊂ '@A λ¬@HT 7ε#⊃@A ∀p↓A`4hαA d`β@A$P∧@!4P@A⊂∧∪@P0β∪@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@P8αS@`0αS@p(β@∀pβA!∧pβA tpβ↓`Txαα 5↓α@$("≠b⊃(Ea⊂λ(A*@'C	Pp&↓ H%Ap(%Ap(%Ap(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p(%↓ p %↓@` %α@ %α@ _%C	@P&Aip ((T 8¬Bb(
A`∃↓∪`$x↓S@@8↓∪ `(αS p_∧∪ p⊂¬∪B$xβa∧xαA@dxαA`TxαA`TxαA`TxαA`TxαA`TxαA`TxαA`TxαA`TxαA`TxαA`DxαA`Dx∧↓DpλS"∀`λ∩`0λε∩@ _α@@DxαA∀xαS`TxαS`TxαS`TxαS`Dx↓⊃(Gλ	¬$⊃8∧@ pλ(A@ _'C)`p&∧	0(↓α)0 βA)0 βA)0 βA) (βA) (βA) (βA) (βA) (βA) (βA) (βA) (βA) 0β↓) 0β↓) 8↓Ai XA)0H↓↓)@8↓A)P αA)P_β↓*`(+↓*`(+↓*`(+↓*`(+↓*P "Q∞!⊂	Eb` ↓↓`∀`β↓4X∧@TP∧@!∧`πS `⊂αS@P_↓S@TpαS@TpαS@TpαS@TpαS@TpαS@dpβ@`$p¬Sa∃β∀ E⊂↓⊃(G_
Eαq0¬`pλ)A@@⊂(C*_B	`(↓A)`(αi`('↓)`(βI`(α↓)`0B	`x'↓@00'@``(,↓+('AP('↓@@(&B0(&α@ (%C⊂ %@@X(Aj0_"Q∞@xλHβp@↓∀ %↓∪@DhαS ThαS ThαS ThαS TX¬RA4hαS ThαS ThαS ThαS ThαS ThαS Thβ∪ p_↓∪!λ↓∪!$xβ∀EλQ(G(F#↓0αa0_&A!(&↓``(%B`(%  0β↓)`(β↓)`(β↓)p β↓)p β↓)p β↓)p β↓)p β↓)p β↓)p β↓)p β↓)p_βA)p_βAI` βAI`(β↓` λ'↓` X&B` 8&B@00'A@` (@aλ)(T ;∧bQX
↓∀hS$Xαα∀Pβ↓ DPβ↓tPβ@A$P	R`p βSP8αSP8αSP8αSP8αSP8αSP8αSP8αSP8αSP8αSP8αSP8αSP8α∪`(αSp αS↓⊂⊂α∪!Dp∧S`e↓⊃(G8⊂λC1Pα)Pλ&I0 %A `⊂¬@i 0α↓A0%↓` HααI00B` X%B XB)@(β↓`P8&↓ p(∧↓)@(βA!(&↓ p(∧↓)@(βA!(&↓ p(∧↓)@(βA!(&↓ p(∧↓)@(βA! &↓ p(∧↓	@(βA p(&↓ p(βA)@(βA@`(&↓@`@α↓)@8αB@⊂(&↓`Px&A!X&A↓08'AP "Q∂↓⊂	πb`(↓A@∀pαA4`∧@TX∧@ dX@!txβ Txα@`4xαS`TxαS`TxαS`TxαS`TxαS`Txβ∪`p Saλ↓SA4h↓@thAT`A@$X↓∩`$Pα∩@TPβRa∀`β∪ D("≡"1(∪ε`@λ&@)@⊂&I0 ∧) 0βi 8↓Ai 8↓αI00Bi@8↓α	@(β↓I@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@(βA)@0β↓)0@αA)@8αA)P(β↓)P βA)`⊂βA*p(+A
p_+↓
`_*@jP⊂)@j⊂_(@HT =∧"αλα %⊂αT u∧∪a$h↓@`dhA@E(↓∃ ∃ ↓∀`5⊂β∀!∀x¬TA¬ β∃e_∧∀@ λβ∀  ⊂β∀  αS` (αS`⊂0α∪@ 0α∪  8α∪08α∪00αR`P(α∩@p α∩a⊂↓∩a4`∧S u↓Q(Dλ⊂HD2λ∧AApλ(αa0⊂'βa⊂&@`P@β↓	@_∧↓`@(%@a 0↓AI0_¬↓` 0%↓↓00↓↓I (¬↓@ 0%↓!0(↓↓I 0¬↓  0%AA⊂(↓↓I@0∧↓  0&↓`p ↓AIP0βA00'↓ p ↓AIp_βA@0'@`p α↓I`_∧`P0&@A⊂_β↓I@⊂∧@`p0+@A0+A⊂0*@A 0*A00)a@0(AA 0(α↓@'β@⊂↓↓IPp@`08@)@_↓C@H%`pHβ↓jP0∧↓J` ¬jp⊂¬@Jpλ"Qλ"8∀HD⊂@ββ U¬α tpεAA$h↓A↓ ↓`d`↓AAλ↓A TX↓B↓ 0β∩`0H∧↓`dPαα pHαR@PHβα `_R@`@βα!$PβA``H∧∩`p8αB@TXβA`PPα∪p0αBDhβ↓@P0α∪@P0α@a∀pα↓`Pλπ∪@0@
S 0HαB↓∀h↓α@PPβR`0XαβtXC @hβ⊗@pβ⊗1αU`1λαU@1⊂αU 1_αUaλα∀A@hα∀"Hα∪bP(α∪Cd`αA"DX↓C↓uh¬⊃(D_
GD"λ
@K@(-↓kH+A⊂0)α 0(@@⊂0↓B	p_↓↓@@0'`00αi@ α↓I@ α↓i0 αAi0 β↓I0 β↓I (β↓I (β↓I (β↓I (β↓I (β↓) (αA) 0α↓	 0↓@i 0@i0(%AI08&↓I@8&AiP@πI`H¬@IpXβj↓λ)βJ@X"QλB(∪λD⊂h¬Tb5λSc$pβαAThα∧!$`↓E!∧`↓α` P∧∩` P↓C↓∧X↓α 0pβR`⊂H↓DdP↓αAβR@⊂HαDdPBaβ∩@⊂@βC`dPB↓xαU↓pαU ppαU@phαU``hαU``hα⊗Phα⊗@pα⊗0x↓U`1↓U Aα∀q⊂↓Sa@h↓SBP↓∪"P ↓∪β4X↓AB$X↓αAdP↓βa∧PD`D("⊃#1p⊃H"@_.↓+ 8,`⊂0)@  (AJ @↓B
_A@@0'@` 0α@IP ↓AI@ α↓i0(α↓i0(αA@ λ%A`0↓)0 β↓@⊂_%↓ `P%↓ `X%↓ `0@i (β↓ 0λ%↓ ` %↓@@ %↓@0 %↓@ _%↓i00%Ai08&↓i@@&B)PPεI``β↓	q (∧J⊂x*αk_"Qλap∂
∧⊂Hβ∀!%π∪b⊂0↓∪@ (ε@`$pB↓th↓αADhC!$hC!∀`↓α`0_α⊗%8↓∃@50↓B ∃(αα5(αA@U(αA e(β`u0β  ⊂↓UA U`e8βVuα↓th∧↓tX¬AtPA`0β∪``0βS``8β∪``8β∪``@αS`PHαS`PHαS`PHα∪`PHα∪`P@α∪`P@↓S``0↓T` ↓∀!%⊂β⊃(D8⊂λd"λ+ ⊂↓@k⊂⊂↓A*p_↓A`@λ)@  _ααj 8αB*⊂↓↓ `0'@@ 0βA	P_↓AA⊂&↓00β@I0 α↓`@_%AP0↓Ai0 αA@ P%↓ P0C) (αE	 (β↓ `H%↓ `(∧α	 (β↓!⊂8%↓ `(¬↓I 0αA! 0%↓@P ε↓) 0αa`(%↓` ⊂λ↓)00
↓	08	A	0@	i@8λA	@@λiPHε@i`H¬@ipXβj↓⊂(Cj0`*BλT $λ∧α8⊂C`%8αA`∃0βA%(εU↓U_↓A∃⊂↓↓ e⊂↓∀ 5λ↓TUαB!¬αAaEβ↓!eβb¬λβ @(∧∀!⊂@∧∀@`XβT@``β∀``Xβ∀``Xβ∃PXβ∃`Pβ∃ PXαU PXαU@@XαU@@XαU@0`αS`@_↓β Tpβ@⊂hαS!⊂pαS↓ pαRa xαR@ _αDDPA@!λα↔ (↓W0_↓Va¬XβWD("∩#⊃P⊃λ p('B! λ'βpλ&C`0⊂&DiA⊂↓)@_βα ⊂%@a _↓@I0⊂λI ⊂λI λλk  ,A+⊂(,A+⊂(,AK⊂0,AK (-↓+ (-↓+ (-↓+ (-↓
λ∧A	p_∧i` βA	P0βi@@↓A	0x%@ P(↓HT %εc"@⊂B@E⊂∧∀!%ε∀↓`(↓∪`  π∪@ 8¬∪@⊂Pβ∪  `↓↓∃x↓↔@5p↓↔ %`↓V`EPαV@UPαV@UPαV@UPβ⊗@ePβ⊗`UXβ⊗`dpβ↓`dh∧↓@dX¬↓`TP↓@p8αS``8αS``8αTP8α∀P8α∀P8α∀P0α∀`(↓T `_↓TA∃_β⊃(DX⊃λd"λλBh+CjP_βB
@⊂¬AJ0⊂π↓
 _π@j ⊂λJ⊂_λ@* ¬↓0λ(↓p@'A `P'A PX'A 0_α↓Ip0@``0'B p0'B↓H'Aa 0(↓A  (↓A_(↓@P@(A 0X(Dj (βAJ (∧↓J (∧↓J0 ∧↓J0 ∧A)Pλα@a 0&@P_¬↓`@λ%A@⊂¬Bi 0↓APH%α!`@%↓b8&↓α  "Q	Ax⊂λd⊃∧⊗↓50π∃ 0(βU @β∀`0HαT@0PαT @PαT @PαTPPαTPPβ∀`H∧T`HβT`P↓∀ eλβ∀ e⊂β∀`U_αT`U ↓U5 ↓∀`!_T 1 S@a_SA⊂x↓∪!@h↓∪α@α∪⊂ ∩` 0
∩`⊂HλR@⊂`πR@⊂x¬W d("∪&C(⊃H!8
↓
X
B	`pβA pH&@@PHαα 0`&A8↓B`⊂_α↓I@⊂∧B@0Pβ↓I0_¬↓``@βBI (∧A`p0∧α	 (¬↓@p0∧AI 0∧A@p0∧A	 8∧↓A(¬)08∧↓!(∧@)@0∧↓!(∧IP0βA!(β@i`(βA!(β↓	`(βA!(αA)p_∧↓!(αA)p_∧↓↓⊂(αA)`_∧A↓⊂(αA)P⊂¬A↓⊂ β↓)@⊂ε↓↓⊂ β↓)@λε@a  β↓+ _¬↓`(,A↓⊂(β↓+⊂ ∧Ap(,@a  βAK⊂_¬a0,a  ∧↓Ip α@@P ↓a⊂8'↓@0⊂αB! 8&B⊂⊂αB!0X&α`PHεαI0Xβα↓`8%@ @ β@ @_λ↓) λβA`λλA∞@λ"Q	b@∀HD⊂@βC U¬αA∧pπ↓a$h↓↓↓⊂0↓`d`↓↓a ↓↓t`↓α↓⊂↓↓@dX↓B pλ↓↓`p⊂R@@P∧α!∧PαB!HβR@PPβα`DPβα ``↓∩``@βα`$Xβα `H↓S`@βα 4`βα`@α∪ P@β↓`Tp↓B@P8αS@0PαA`Tp↓α`P8αS  `αA`T`↓β P8αS⊂pαA`UXαA`UXααUXααUXααUX↓B eX↓B e⊂A`0PβT 00Cp_TP_↓β!4x¬βa∧x∧D eβ∧`E⊂↓E $("∪dR(∩λbλ,@K`+D*q_+¬*a0)@!pP)"0@(@"P8(B`0'@b`0'↓αp0'↓"`0&AbP0&Ab`('↓bP('↓bP('Ab@((↓b0((↓b0((Ab  )↓B  )↓B  )Aα0 )Aα  )@b0 )@B@_)BP_(↓"0_'αa`_&Ca0⊂&¬P⊂&εI0 ↓DI _∧βK⊂8"Q
α8∀∧⊂@ββ@U¬α!∧pεAA4h↓↓↓⊂ At`↓A!_A@d`↓↓aλBTX↓B↓Hβ∩@@@∧α tPαB`P¬∩@`8βαA∧PβA@`Pβ∩A(ββ $XβA@P`↓∪p(αB`$hβ↓ PP↓S `(αB Dpα↓@PHαS@08αBdp↓αP@βS  HαBt`↓α@PHβVPHβVPPβVPXβ⊗PXβ∃↓⊂`αTa hα∀A@`↓T!pP↓∀α08↓∀0_πA$x↓↓b$xBα∀pB Pλ¬⊗P αVU@αVU@αVU@αVU8αU`58↓⊃(Eλ∪Idr_λ+⊂⊂,β
qλ+Dja(+¬J0λπBJ λ	B
⊂λ
Aj⊂↓Ip_↓I` AI`(↓IP8
AIP8↓)`8
A)`8
A)p8
↓*8	A*8	A*⊂8	↓
 0	↓
 0	↓
0 	A
0 	↓
0_	A
0⊂
j ⊂
@j(	@i`XπiPx¬@IA α@iAh%A!P%a↓`%@!P8ααlPH3A-⊂λ"Q
"@∀HD⊂@ββ@E¬α@txεAA$h↓A↓⊂ ↓`d`↓AA_↓↓ T`↓α pλ↓↓@TX↓B pλA`TPαB!8β∩@PPβαdPβα `H∧∩@p@βα dXβBPX↓R`p@αB 4`βA`P8↓S `8αA Dhβ↓`P_∧S@@@	∪@@@βa∀p↓B P0βS 0PαA`d`↓β@HαV@@HαV@@HαV@0PαV @PαV @PαV 0Xβ⊗ 0Xβ∀0(↓Ctxα@` xβ∪@pλ↓∧↓$h¬∧@t`¬∧`dX↓`Q(↓R@ (↓E`∀("∀d20⊃H!p +α*@`¬@J1∧*⊂_αβ @_(`qλ'@a p'a@`&@ap@&@``_∧↓	@ α↓	@_α↓	0 α↓	0 ↓A)0 ↓A!@0%↓ 08αβI (↓FI (↓FI (ααA@%↓ ` π↓I 0↓) 0↓) 0A	 8↓	00i08@i0@i@@
i@H	iPHλi`Pε@ipX∧↓*↓0(Dj0x+α(T *λ∧∩⊂⊂B@ppT!p8↓Sc$p
∪#4`↓A"4X↓BaTX↓β  λ∧∩` `↓∩@0X↓∩@@P↓∩@P@↓R@`8↓R@P8α∩`0@αS⊂@β∃ u0βUA¬8βVu@∧⊗ uPβ⊗@UXα⊗`5(↓@`%_β  P↓∀A⊂H↓T"U
S` 0ε∪@⊂X∧∪ ⊂xα⊃(E(⊃I∧B⊂∂J`⊂π@J@⊂π@j0⊂πA
 ⊂π↓J⊂_π↓*⊂_π↓* π↓)p(π↓)p0εA)p0εA)p8ε↓*0ε↓*8¬A*⊂0¬A*⊂0¬A* 0¬↓* 0¬↓*0(¬↓*0(¬↓*@ ¬↓*@ ¬↓*@ ¬↓*@_¬A*@⊂ε↓*0⊂εA*0⊂εA* ⊂π↓J_π↓i`8εα	PP∧B)@pα`⊂X%E  P%`0xα↓i λ∧α`P0*Bp_+A!⊂"Q
b8∀λD⊂@ββ E¬α!∧xε↓a$h↓A↓(ε∪  0∧` ⊂εS @β@@ (∧R`0Hβ  8βR`0PβB@TPαB p`↓∩@`@ββ$PβBPX↓R`p8αB@DXβA`PHαSp0αB Thβ↓@PHαS `0αB Tpα↓`PHαS@0@αα@Th↓B @PαS0Pαα@dX↓α`@Xβ⊗@Xβ⊗ hβ∃` xαU@!αUAαTahαT!@Xα∀↓pHα∪`0⊂εA`4p↓↓aP_↓S ⊂Xλ⊗aEh∧W`T("∃f3 ⊃λ!0ε@!0 (αA _∧α	`hβA pP&@@P@αA`Aλ&A8↓B !⊂&A⊂0@`⊂8@`@X%@a⊂H↓B↓@%↓↓ 8αAA0(%↓!⊂0βA!P⊂%↓A0βA!@⊂%↓A⊂(βA!0_%AA(∧↓↓ _%AA(∧↓! &↓@p(∧↓ p(&A p(∧↓↓(&A p(∧↓↓0'↓p(∧↓↓0'a ∧A↓0'A⊂ ∧A↓0&@A  ∧A↓⊂0&A  ¬↓↓⊂0&!0 ¬a 0,a0_¬↓Jp ¬↓↓ 0+@A@_ε↓*`⊂ε@AP(*A`⊂π↓*⊂ π@aP 'B↓@8¬↓	`X∧B`p⊂&C`@xαIB@%@`@hαCI ⊂∧αA⊂P+↓A`0"Qα⊃λd⊂@↓C@%λβB@5∧A`dx¬A!∧x¬A λβS@  β@@ ⊂∧S ⊂8β 0_β∪ @α@  (α∪⊂H∧∃@u8β∃`e8αU`U8αU`Uλ	∀α4x	U`U8αU`U8αU`U8β∃`e0βUA¬0↓ d`B ⊂βB∀X↓A@  βA 4PαA (π∩A 8¬RAP∧R```βS0xαQ(EH∩	%2λ∧↓A`⊂(αA0 'β!8&@@P@βα)@⊂βA`@h&A8↓βI0_∧A@⊂_αα	  ∧Bp8%↓!⊂0∧AI 0∧↓A 0%↓a(¬↓I08βA! 0%A`p(¬↓I@8β↓!0(&A@`(¬A)`(β↓!0('↓p(¬A)`_∧↓↓@('A⊂ ε↓)P⊂¬↓↓@(&A0 ε↓)@λ¬A↓P(,↓↓P(,a`(+@B +B⊂ *b  (↓B0 'B@p⊂β↓)`hα@p &Da &∧a⊂ %@`P`∧↓	 _∧Aa  ,@a0 3↓`_*@!p_*@A`⊂*aP⊂*↓↓ ⊂)A``_*C
p8"Q!P
∧⊂P∧TaE⊂π∀!u↓A!∀x↓α tp↓α@tpCeXβ⊗`UXαV`EPα⊗@5@α∃U ¬∃↓E_π∀auX∧↔uhβW upβ↔@epβ∪@PXβ∪ pPβ∩a⊂Pβ∩A PαS@`PαS`PPαS`PHαS`PHαS`PHα∪``8α∀P0α∀` α∀!5_β⊃(BλβαD"λA	0 %A	0 %A	0 %A	0 %A	0_%@i0_%@i0_&I@⊂&I@⊂&I@λ&)@λ&)@λ&(p A	 0%↓I 0%↓I0 "Q∂PH¬β∧ λR@0_↓R@0_↓R@0_↓R@0_↓R@0_↓R@0_↓R@0 ↓∩`  ↓∩`⊂(R`⊂(R`⊂(R`⊂(Q(A⊂βα↓b⊂αI`λ&@I@⊂&I0⊂%@I _%↓	 (%A	0(&↓	@ &@(T 	AAh⊂@ 4PαR`DXαSD`α∪ 4h↓S 4h↓∪ ∀`↓∪∀XQ(B@∧CeR ∧*⊂'@I`⊂&@iP⊂&i@_&I0_%@i0_%@i0_%i _%i _%i _%i _%i _%i _%i _%i _%i _%i0⊂%@i0_%@i0_&I@_&iP⊂'I`⊂'@J⊂⊂"Q¬⊂Pπ$@R`$`↓∪ $p↓∪@4x↓∪`4x↓T%↓T5↓T5λ↓∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T %λ↓∀5↓T5↓∀$x↓S`$x↓∪@$`↓R@4("
A `¬H @λ') ⊂↓ 0⊂%@@⊂λ@IP_'I@(%@  λ↓) λ↓@ 0⊂')`λ'(T ∃H∧2λ∞D∃H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓∩D∧P⊂⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %HQ(B`βαaP @i  %↓) (%A)@ &@iP_&@iP⊂&I@⊂%@I0λ"Q¬R⊃@!P⊂∩D∧("∂"a8∧∧↓0%¬Hp(¬I!0"Q¬`0¬A @λα∩@dPβ∩@dPβ∩`D("bQ8⊗λb0⊂.@K@⊂.K0⊂-@K _-K ⊂,@K⊂⊂,K⊂+@jp⊂+@J`⊂+JP⊂*@J@_*J@⊂)@J0⊂)J ⊂(@J⊂⊂(j⊂(Ip⊂'@I`⊂'IP_&@IP⊂&I@⊂%@I0⊂%i ⊂"Qπ 0∧¬b`λ↓R@dPβ∩@dPβ∩`D8ε 4PαR@dPβ∩@dXα⊃(CXβB#q0A	 0%↓I 0%↓I0 #C ⊂%A	0(&↓	@(&A	`_'i`⊂'I`λ&@IPλ&(T -B↓"P∩↓∧PβR@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩A∧("↔!H∃I@%α
⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(I @(@(T ∪@`p`⊃ ∀P↓R@4P↓R@4P↓R@4P↓∩`∀XR`∀XR`∀("∂b↓⊂⊃H@`0'αIP⊂α↓I0_β↓)0⊂βAI _∧↓) _∧↓)  βA)  βA) _∧↓
P *↓
@ )A
0_)J⊂⊂(Ip⊂&A	P_&↓	@ &↓)@(&@hp ↓A	@0&↓I@0&↓IP "Q∧bλ⊃Hd `β∃↓%_↓@@u⊂↓Aeλ↓A@Uλ↓A@Uα↓@Uα↓@Eα↓@Eα↓ EαA5α@`5¬∀ uλαT `_λT↓⊂λSa⊂8β@Dp↓@@`@α∪@_βαD`↓A `@↓R`@(βA`4Xα↓@`8↓R@P8β↓@4PαA`p(↓∩@P@β↓ $Pβα`_↓↓`∀Pβαp⊂↓↓`∀Pβα!⊂8↓∩``H∧↓`∀XβB p0↓∪p@∧@`4`∧A!th
Sa@ ∧∀ pHαQ(Epε↓R ε*P_*A
@0)@@ _)@@_(@@`_(A_'@A _'A@_&@A`_&B_%@B _%B@⊂"Q⊃⊂
H#p α∪↓∧X¬RATp¬T↓%⊂∧Ta∃(βT ⊂ β∪` 0αS@00αS 08αS@8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8αR`P8α∩`P8α∩`P8α∩`P0αR``(αR`p α∩a_α∩a⊂λ↓S↓4p∧∪`e↓T ∀("Aqλ⊗HAλ(A*H'B)`H'  (&@ P⊂&@)Pλ&@)P⊂&@iP &A	P(%C) h'↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)`('↓)` '↓	` '↓	`_'i`_'I`⊂&@IP⊂&@)@⊂&(T ↓Cbα`⊂BEβSa∀x∧S@ _α∪@⊂(↓∪ $h↓∪ 4h↓S Dpα∪@TpαS↓TPπ∪@TpαS@TpαS@TpαS@TpαS@TpαS@Tpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dp↓S@4p↓∪@∀h↓∪ ∀hS∀("↓α10⊂E@p βIpHA	`x&∧	0 ↓BI0 βAI0 ∧↓)0 ∧↓)0 ∧↓)0 ∧↓) (∧↓) (∧↓) (∧↓) (∧↓) (∧↓) (∧↓) (∧↓) 0β↓I 8↓B	0P↓↓)0H↓A)@8α↓IP βA)`⊂∧↓+(&!0 &!0 %@a _%↓!⊂⊂%↓``⊂%βI0`&αIp("QPxλλD⊂XS ⊂(↓∪ ⊂ ↓∪ ⊂⊂α∪ dhβ↓∀hαA$hα@@Thα@ dhβ Thα@`4hαA∀hαS T`¬RADhαS ThαS ThαS ThαS ThαS ThαS Thβ∪ t`ε∪!$pβTEλQ(@0πD#Q`β@)p_&A)P(&A)P(&A)P(&A)0X%αiP(&A)P(&A)P(&A)P(&A)P(&A)P(&A)P0&A`@λ&C	PP'α	p0(@HT ∧λdB`⊂B`pT↓ X↓SAP@β∪ 0 ∧↓A∀`↓↓a ¬R`0@β@@ ⊂∧R`0Hβ  (βR@P@∧↓`dPαB p@β∩@`@βα dPβA``PαR`p8αB@TXβA`PPαSp0αB@Thβ↓@PPαS `0αB@Tpα↓`PPαS@0@αB@Tp↓α @XαS  Pαα`T`↓α`@XαV 0`αV@`αV0hαU` xαU@!αT`Aλα∀qλα∪a 8↓↓@DpεA 0αS"08αSα@8α∩` 0εαDP↓α!⊂@αU``Hα⊗ 0Pα∃`⊂hα∃@ h↓U 0`↓U @P↓UPH↓∀a(↓Tae ε∃@t("α#⊃P∀H@`λ'@ia'∧)Q_&Dia⊂-↓K0 -A0_-@k _,@k_+@J@P)C*0p)∧
 λβB+@8.↓kP0.AKP0.AKP0.AKP(.A+P(.A)` ¬↓)@8∧A) H∧A	P0∧↓	`(∧↓	`(βA	`(βi`(α↓	`P"Q∂phλλD Hα∀ dp∧RaDPεRAUλβ∀@U⊂αT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀ UλαT UλαT Uλ↓Q?
∪`Phz≠⊃pα>fpα>f␈x␈␈␈pε←x␈␈}P∧O0F 8zm@∩&>`⊂λ@U(∞@α(ε=@1↓(↓@∧W_{↓β⊂∧↓m 	;∂0αD (*@∪⊗>`0λ@V_?α0]=AαHβ)≠@∧ox{α#p∧v$P	|O0	α`_7↑∂|↑a_¬@6x<α⎇D⊂x↓↔5@βw⊂{	DP¬sH`λv←0∪B`_2~⊃N}b@	@c8r@α≥=E⊃_↓F}(∧	h{
A`α≤' λ ∂0∃I@``⊂K}b`πGλ≥αλ==ER0ββ_∧→h{A`α≤' λ7∨0↔F @βZ@⊂s≡c@↓85⊃⎇F⊃HαvP
x{C⊂∧↓m ≤o0→F @βZ@H}c @↓85λ;=FQHαvP≥x{
C⊂∧↓m FO0≠F @βZ@↓)}c@@↓85⊂y=G⊃HαvP7λ{∞A0↓] λE←0≥B`_:@⊃∪↑ch@}λf@αλT=Gq⊂↓9I0∧5`{⊂$@¬↑i`βR/0!p∩0@πU>d_∂@↓≤`⎇↓π=HBHβ)b(αλh{⊃$⊂¬&WP∧%∂0#π@Hc\@λl>d8∪@↓I⎇↓⊂'=Iα αpepα/X{∩#@∧7d ∧s∂0%π@k∩
↓}dX⊂@↓+λ|↓ C=IBλαU_αRλ{∪&@λ2\0¬3O0'
 h(⊗`*>dx∀@↓SX+↓8:=JαHβ'Xhα␈h{∀%⊂εNj`ε~/0)
 h∨p`Y>e_∀@↓Tλ⎇↓P⊗=JBλαVBpβ,_{∃$@¬aK`εg/0+
 h&B@
v>e8~α`A↓`J=Kα αp∨⊂βYλ{⊗%⊂εTuPπC/0-π@HPu ∂>>eX¬@7PDα⊂?⎇KPXo(@∧-`{↔C⊂β␈R	/00F @∃4↓x≡f⊂@␈pH "⎇L1 ↓IπhKp{→β⊂β}D0↓∨?02E02PαZ↑f0λT_5(Y⎇LqHα↓r@a@{~β ∧∃b↓S?04C@ >Y βL≡fPπGp@8>⎇M1 ↓I→@⎇@{≠↓`α$ε0αλ←06I``=⎇ ∧&↑fp∞↓
XhH→⎇MqPαλ∂↓~{≤β⊂∧D α??08F @	≡@¬≡↑g⊂	@cP
@Px⎇N10↓bR(↓30{≥α⊂αU αq←0:F 8⎇λ`¬v↑g0@↓β,`#⎇Nr8β
jp↓Jp{≡α0β
|Pβ(←0<F 8⎇O@εi≡gP	@cxQ@p∃⎇OPXmw@β{H{∨bpβV∀

∨H¬	pAw{⎇xow{⎇x